Petri net
ペトリネット - Wikipedia
Petri net - Wikipedia
Petri net in nLab
Petri net in The Azimuth Project
tripical 解析